alternating-time temporal logic

Alternating-time Temporal Logic ATL

branching-time temporal logic

discrete timed interval temporal logic

Extended Interval Temporal Logic

finite propositioanl linear temporal logic

Interval Temporal Logic

linear temporal logic

Linear Temporal Logic LTL

Linear time temporal logic

modified linear time temporal logic

partial order temporal logic

point-interval temporal logic

Projection Temporal Logic

temporal logic

temporal logic formula rewriting

Temporal Logic Language

Temporal Logic of Action

TEMPORAL LOGIC OF ACTIONS